solve (x-2^0.5)(x+1) = 0, x>1 over the rationals